Stanley Tennenbaum

Stanley Tennenbaum (April 11, 1927 – May 4, 2005) was an American mathematician who contributed to the field of logic.^[1] In 1959, he published Tennenbaum's theorem, which states that no countable nonstandard model of Peano arithmetic (PA) can be recursive.

References

^ "A conference in memory of Stanley Tennenbaum". malms.org. http://mamls.org/Tennenbaum/People/StanleyTennenbaum.

External links

http://mamls.org/Tennenbaum

Persondata
Name	Tennenbaum, Stanley
Alternative names
Short description
Date of birth	April 11, 1927
Place of birth
Date of death	May 4, 2005
Place of death